graph theory:directed edge